David L. Parnas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Software Structures: A Careful Look

Lorge Parnas, David

Journal:

Year:

2018

Language:

english

File:

PDF, 391 KB

english, 2018

2

Structured programming: A minor part of software engineering

David Lorge Parnas

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 144 KB

english, 2003

3

Software engineering programmes are not computer science programmes

David Lorge Parnas

Journal:

Annals of Software Engineering

Year:

1998

Language:

english

File:

PDF, 78 KB

english, 1998

4

The real risks of artificial intelligence

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

2017

Language:

english

File:

PDF, 1.28 MB

english, 2017

5

On code reuse

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 365 KB

english, 1999

6

Software Engineering Principles

Lorge Parnas, David

Journal:

INFOR Information Systems and Operational Research

Year:

1984

Language:

english

File:

PDF, 1.27 MB

english, 1984

7

Who taught me about software engineering research?

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 392 KB

english, 1998

8

The use of mathematics in software quality assurance

David Lorge Parnas

Journal:

Frontiers of Computer Science

Year:

2012

Language:

english

File:

PDF, 429 KB

english, 2012

9

Successful software engineering research

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 557 KB

english, 1998

10

A generalized control structure and its formal definition

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

1983

Language:

english

File:

PDF, 5.72 MB

english, 1983

11

A rational design process: How and why to fake it

Parnas, David Lorge, Clements, Paul C.

Journal:

IEEE Transactions on Software Engineering

Year:

1986

Language:

english

File:

PDF, 1.67 MB

english, 1986

12

Software engineering: an unconsummated marriage

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

1997

Language:

english

File:

PDF, 904 KB

english, 1997

13

Correction to “a rational design process: How and why to fake it”

Parnas, David Lorge, Clements, Paul C.

Journal:

IEEE Transactions on Software Engineering

Year:

1986

Language:

english

File:

PDF, 161 KB

english, 1986

14

Document based rational software development

David Lorge Parnas

Journal:

Knowledge-Based Systems

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

15

Parnas on Parnas

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 369 KB

english, 1999

16

Software aspects of strategic defense systems

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

1985

Language:

english

File:

PDF, 1.11 MB

english, 1985

17

The risks of stopping too soon

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 1.08 MB

english, 2011

18

[IEEE 2006 International Conference on Software Engineering Advances (ICSEA'06) - Tahiti (2006.19.29-2006.19.29)] 2006 International Conference on Software Engineering Advances (ICSEA'06) - Specification of Software Component Requirements Using the Trace Function Method

Quinn, Colm, Vilkomir, Sergiy, Parnas, David, Kostic, Srdjan

Year:

2006

Language:

english

File:

PDF, 234 KB

english, 2006

19

Software Systems Engineering programmes a capability approach

Landwehr, Carl, Ludewig, Jochen, Meersman, Robert, Parnas, David Lorge, Shoval, Peretz, Wand, Yair, Weiss, David, Weyuker, Elaine

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 901 KB

english, 2017

20

On iterative constructs

Parnas, David Lorge

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1990

Language:

english

File:

PDF, 182 KB

english, 1990

21

A logic for describing, not verifying, software

David Lorge Parnas

Journal:

Year:

1995

Language:

english

File:

PDF, 998 KB

english, 1995

22

“Formal methods” technology transfer will fail

David Lorge Parnas

Journal:

Journal of Systems and Software

Year:

1998

Language:

english

File:

PDF, 478 KB

english, 1998

23

Which is riskier

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

2007

Language:

english

File:

PDF, 44 KB

english, 2007

24

Abstract types defined as classes of variables

Parnas, D. L., Shore, John E., Weiss, David

Journal:

ACM SIGPLAN Notices

Year:

1976

Language:

english

File:

PDF, 590 KB

english, 1976

25

Goals for software engineering student education

Parnas, David, Chik-Parnas, Lillian

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2005

Language:

english

File:

PDF, 231 KB

english, 2005

26

Views: Software Aspects of Strategic Defense Systems: A former member of the SDIO Panel on Computing in Support of Battle Management explains why he believes the "star wars" effort will not achieve its stated goals

David Lorge Parnas

Journal:

American Scientist

Year:

1985

Language:

english

File:

PDF, 1.84 MB

english, 1985

27

[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - Precise software documentation

Parnas, David Lorge

Year:

2007

Language:

english

File:

PDF, 70 KB

english, 2007

28

Functional documents for computer systems

David Lorge Parnas, Jan Madey

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 1.54 MB

english, 1995

29

On ICSE's “most influential” papers

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1995

Language:

english

File:

PDF, 325 KB

english, 1995

30

Software aspects of strategic defense systems

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1985

Language:

english

File:

PDF, 1.12 MB

english, 1985

31

Documenting and verifying systems assembled from components

Zhiying Liu, David Lorge Parnas, Baltasar Trancon y Widemann

Journal:

Frontiers of Computer Science

Year:

2010

Language:

english

File:

PDF, 196 KB

english, 2010

32

The non-problem of nested monitor calls

Parnas, David L.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1978

Language:

english

File:

PDF, 467 KB

english, 1978

33

Why Engineers Should Not Use Artificial Intelligence

Lorge Parnas, David

Journal:

INFOR Information Systems and Operational Research

Year:

1988

File:

PDF, 1.21 MB

1988

34

The Parnas papers

Parnas, David L.

Journal:

ACM SIGCAS Computers and Society

Year:

1985

Language:

english

File:

PDF, 1.13 MB

english, 1985

35

Stop the numbers game

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

2007

Language:

english

File:

PDF, 76 KB

english, 2007

36

Inside risks: ten myths about Y2K inspections

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

1999

Language:

english

File:

PDF, 28 KB

english, 1999

37

[ACM Press the December 5-7, 1972, fall joint computer conference, part I - Anaheim, California (1972.12.05-1972.12.07)] Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I) - Some conclusions from an experiment in software engineering techniques

Parnas, David L.

Year:

1972

Language:

english

File:

PDF, 678 KB

english, 1972

38

Software engineering (extended abstract)

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 256 KB

english, 1997

39

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Tabular Expression-Based Testing Strategies: A Comparison

Feng, Xin, Parnas, David Lorge, Tse, T.H.

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

40

On satisfying timing constraints in hard-real-time systems

Xu, Jia, Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1991

Language:

english

File:

PDF, 1.68 MB

english, 1991

41

[IEEE 20th Conference on Software Engineering Education & Training (CSEET'07) - Dublin, Ireland (2007.07.3-2007.07.5)] 20th Conference on Software Engineering Education & Training (CSEET'07) - Resolving Dilemmas in Software Engineering Education

Year:

2007

Language:

english

File:

PDF, 35 KB

english, 2007

42

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - Fault Propagation in Tabular Expression-Based Specifications

Feng, Xin, Parnas, David Lorge, Tse, T. H.

Year:

2008

Language:

english

File:

PDF, 255 KB

english, 2008

43

Building reliable software in BLOWHARD

Parnas, David L.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1977

Language:

english

File:

PDF, 146 KB

english, 1977

44

The Tabular Method for Relational Documentation

David L. Parnas

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 124 KB

english, 2003

45

[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - "No silver bullet" reloaded

Fraser, Steven D., Brooks, Frederick P., Fowler, Martin, Lopez, Ricardo, Namioka, Aki, Northrop, Linda, Parnas, David Lorge, Thomas, David

Year:

2007

Language:

english

File:

PDF, 231 KB

english, 2007

46

Information streams sharing a finite buffer: other solutions

Lee W. Cooprider, F. Heymans, P.J. Courtois, David L. Parnas

Journal:

Information Processing Letters

Year:

1974

Language:

english

File:

PDF, 939 KB

english, 1974

47

Risks of undisciplined development

Parnas, David L.

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 1.54 MB

english, 2010

48

Rapid prototyping by means of abstract module specifications written as trace axioms

Dixon, John K., McLean, John, Parnas, David L.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1982

Language:

english

File:

PDF, 295 KB

english, 1982

49

Evaluation of safety-critical software

Parnas, David L., van Schouwen, A. John, Kwan, Shu Po

Journal:

Communications of the ACM

Year:

1990

Language:

english

File:

PDF, 1.52 MB

english, 1990

50

State table analysis of programs in an ALGOL-like language

Parnas, David L.

Journal:

Communications of the ACM

Year:

1966

Language:

english

File:

PDF, 631 KB

english, 1966

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски